The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Andreas Podelski Books

Results for Andreas Podelski

Showing 1 to 4 of 4 results
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... 2,: 2988 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... 2,: 2988 (Lecture Notes in Computer Science) by Andreas Podelski,Kurt Jensen

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... 2,: 2988 (Lecture Notes in Computer Science)

by Andreas Podelski,Kurt Jensen


ISBN 13: 9783540212997

Format: Paperback (628 pages)
Publisher: Springer
Published: 18 Mar 2004

Save for later

 
New : $110.85  
New : $110.85
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings: 11002 (Lecture Notes in Computer Science) Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings: 11002 (Lecture Notes in Computer Science) by Andreas Podelski

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings: 11002 (Lecture Notes in Computer Science)

by Andreas Podelski


ISBN 13: 9783319997247

Format: Paperback (456 pages)
Publisher: Springer
Published: 29 Aug 2018

Save for later

 
New : $77.06  
New : $77.06
Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers: 11028 (Lecture Notes in Computer Science) Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers: 11028 (Lecture Notes in Computer Science) by Andreas Podelski, François Taïani

Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers: 11028 (Lecture Notes in Computer Science)

by Andreas Podelski, François Taïani


ISBN 13: 9783030055288

Format: Paperback (448 pages)
Publisher: Springer
Published: 28 Jan 2019

Save for later

 
New : $71.24  
New : $71.24
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers: 910 (Lecture Notes in Computer Science) Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers: 910 (Lecture Notes in Computer Science) by Andreas Podelski

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers: 910 (Lecture Notes in Computer Science)

by Andreas Podelski


ISBN 13: 9783540591559

Format: Paperback (336 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $74.67  
New : $74.67